منابع مشابه
Walther Recursion
Primitive recursion is a well known syntactic restriction on recursive deenitions which guarantees termination. Unfortunately many natural deenitions, such as the most common deenition of Euclid's GCD algorithm, are not primitive recursive. Walther has recently given a proof system for verifying termination of a broader class of deenitions. Although Walther's system is highly automatible, the c...
متن کاملTCDE Chair Candidate Erich Neuhold
Erich J. Neuhold is currently Honorary (Adjunct) Professor for Computer Science at the University of Vienna and associated with the Fakultaet fuer Informatik. Here he is involved with structured and unstructured multimedia Databases and Web-Information Systems and questions of Semantic enrichment for effective Information Interoperability and Mining. He is also investigating issues of interoper...
متن کاملFirst Prize Erich
ing from detail, it is instructive to consider what would happen in a perfectly flexible economy, if schooling actually displayed stagnant productivity while all other sectors faced a constant positive rate of productivity growth. The outcome would be what Baumol (1967) has called the cost disease of services. With a functioning labour market, the wages of workers in the stagnantproductivity se...
متن کاملThe Static Universe of Walther Nernst
Walther Nernst (1864-1941) was, without a doubt, one of the most remarkable physicists of the early 20th century. His main accomplishments were in the field of physical chemistry, a discipline he founded together with other well-known scientists, including J.H. van’t Hoff, W. Ostwald and S. Arrhenius. His most famous contribution to physics was the so-called third law of thermodynamics, for whi...
متن کاملTobias Walther: Floating ideas on lipids
T he fl uid mosaic model of membrane biology depicts proteins and lipids freely roaming in the lateral plane of the cell's plasma membrane. But in reality, the plasma membrane is highly compartmentalized. One such compartment is delineated by a protein scaffold beneath the membrane called the eisosome (from the Greek word eis, meaning " portal, " and soma, meaning " body "). Tobias Walther, tog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Virology
سال: 2015
ISSN: 0042-6822
DOI: 10.1016/j.virol.2015.01.012